Closed Means Continuous Iff Polyhedral: a Converse of the Gkr Theorem
نویسنده
چکیده
Given x0, a point of a convex subset C of an Euclidean space, the two following statements are proven to be equivalent: (i) any convex function f : C → R is upper semi-continuous at x0, and (ii) C is polyhedral at x0. In the particular setting of closed convex mappings and Fσ domains, we prove that any closed convex function f : C → R is continuous at x0 if and only if C is polyhedral at x0. This provides a converse to the celebrated Gale-KleeRockafellar theorem.
منابع مشابه
Amenable groups that act on the line Dave
Let Γ be a finitely generated, amenable group. Using an idea ofÉ. Ghys, we prove that if Γ has a nontrivial, orientation-preserving action on the real line, then Γ has an infinite, cyclic quotient. (The converse is obvious.) This implies that if Γ has a faithful action on the circle, then some finite-index subgroup of Γ has the property that all of its nontrivial, finitely generated subgroups h...
متن کاملA new proof for the Banach-Zarecki theorem: A light on integrability and continuity
To demonstrate more visibly the close relation between thecontinuity and integrability, a new proof for the Banach-Zareckitheorem is presented on the basis of the Radon-Nikodym theoremwhich emphasizes on measure-type properties of the Lebesgueintegral. The Banach-Zarecki theorem says that a real-valuedfunction $F$ is absolutely continuous on a finite closed intervalif and only if it is continuo...
متن کاملun 2 00 6 Amenable groups that act on the line
Let Γ be a finitely generated, amenable group. We prove that if Γ has a nontrivial, orientation-preserving action on the real line, then Γ has an infinite, cyclic quotient. (The converse is obvious.) This implies that if Γ has a faithful action on the circle, then some finite-index subgroup of Γ has the property that all of its nontrivial finitely generated subgroups have infinite, cyclic quoti...
متن کاملBirkhoff’s Variety Theorem with and without Free Algebras
For large signatures Σ we prove that Birkhoff’s Variety Theorem holds (i.e., equationally presentable collections of Σ-algebras are precisely those closed under limits, subalgebras, and quotient algebras) iff the universe of small sets is not measurable. Under that limitation Birkhoff’s Variety Theorem holds in fact for F -algebras of an arbitrary endofunctor F of the category Class of classes ...
متن کاملMultiplicative Distance Functions
We call φ the root function of Φ. The continuity of Φ implies that (1.2) φ(γ) → |γ| as |γ| → ∞. Moreover the converse is true, if φ is continuous and satisfies this asymptotic formula, then the function Φ formed as in (1.1) is a multiplicative distance function. Theorem 1.1. A continuous function φ : C → [0,∞) is the root function of a multiplicative distance function iff it satisfies (1.2). Ar...
متن کامل